Logo
หน้าแรก
บทเรียน
สมุดบันทึก
พจนานุกรม
JLPT ข้อสอบฝึกหัด
วิดีโอ
อัปเกรด
ข้อเสนอแนะ
Logo
หน้าแรก
บทเรียน
สมุดบันทึก
พจนานุกรม
JLPT ข้อสอบฝึกหัด
วิดีโอ
อัปเกรด
ข้อเสนอแนะ
Todaii Japanese
Switch language – current: th
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

เกี่ยวกับ Todaii Japanese

เรื่องราวแบรนด์คำถามที่พบบ่อยคู่มือผู้ใช้ข้อกำหนดและนโยบายข้อมูลการคืนเงิน

โซเชียลเนตเวิร์ค

Logo facebookLogo instagram

เวอร์ชันแอป

AppstoreGoogle play

แอปอื่น

Todaii German
Todaii Super
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

ลิขสิทธิ์เป็นของบริษัท eUp Technology JSC

Copyright@2026

พจนานุกรม

รายละเอียดคำ

モナド (プログラミング)

の返り値にうつす関数である。すなわちunit 関数は型 x の値をモナド型 M x の値へうつす多相な関数である。引数値変換の有無は定義されない（一般には値を変換せずに保持する（例:入力 1 =>出力 Maybe(1)）。 bind関数（ >>= とも）は「モナド的値」と「値をモナド的値

คำที่เกี่ยวข้อง

プログラミング

〖programming〗 コンピューターのプログラムを作成すること。 一般にはプログラムの仕様の決定， コーディング， 誤りの修正などの作業すべてをさすが， コーディングだけをさすこともある。

モナド

〖monad〗 〔哲〕 単子。 ピタゴラス学派などにおいて用いられ， ライプニッツに至ってその形而上学説の中心におかれた。 充実した内面をもち， 自発的知覚を担う単位実体。

残丘

モナドノック山（Mount Monadnock）が典型であるために残丘のことをモナドノック（英：monadnock）ともいう。 北米での呼称である「モナドノック（英：monadnock）」は、ニューハンプシャー州南部にあるモナドノック山（Mount

関数型プログラミング

関数型プログラミング（かんすうがたプログラミング、英: functional programming）とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある。 関数型プログラミング言語（英:

Rust (プログラミング言語)

Rust（ラスト）は、性能、メモリ安全性、安全な並行性を目指して設計されたマルチパラダイムのプログラミング言語である。C言語、C++に代わるシステムプログラミング言語を目指しており、構文的にはC++に似ているが、「ボローチェッカー」(borrow checker)

モナド (圏論)

数学の一分野である圏論において、モナド（英語: monad）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、双圏（英語: bicategory）上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はコモナド（英語版）である。

Ergo Proxy

デダルス・ユメノ（Daedalus Yumeno） 声 - 小林沙苗 ロムド市民厚生局主任の少年。リルの担当医でもある。イギー曰く「リルの王子様」。極秘研究施設での研究者としてモナド・プラクシーの観察を行っていた。プラクシーの謎を知ることは人間にとって大いなる力となるという考えから、彼もリル同様プラクシーの謎を解くことに興味をもっている。

進化的プログラミング

進化的プログラミング（しんかてきプログラミング、Evolutionary Programming）は、4つの主要な進化的アルゴリズム方法論の1つである。 人工知能の生成を意図した学習過程として、シミュレーションされた進化を使った Lawrence J. Fogel が1960年に最初に使った用語である。Fogel

文芸的プログラミング

文芸的プログラミング（ぶんげいてきプログラミング、英: literate programming）とは、 ドナルド・クヌースの提唱したコンピュータのプログラミングスタイルのこと。 「プログラミングは、芸術であり、文学である」と主張するドナルド・クヌースの論文集のこと。上に関する論文も含まれる。 ここでは前者について説明する。

モナド (哲学)

は、ライプニッツが案出した空間を説明するための概念である。ギリシア語 μονάς monas モナス（個、単一）、μόνος monos モノス（単一の）に由来する。単子と翻訳される場合もある。 ライプニッツは、現実に存在するものの構成要素を分析していくと、それ以上分割できない、延長を (ひろがりも形も) 持たない実体に到達すると考えた

アプリケーションプログラミングインタフェース

APIのようなベンダーによる文書、プログラミング言語の標準ライブラリ（例えば、C++のStandard Template LibraryやJava API（英語版）など）がある。 商業的に使われる狭義では、各種システムやサービス（ハードウェア、OS、ミドルウェアおよびWebサービス等）を利用するアプリケーションソフトウェア

動的計画法

memo[n]; } 近年は色々なプログラミング言語がメモ化を言語レベルでサポートしている。その機能を利用した場合、より簡単に書ける場合がある。例えば Groovy の場合、@Memoized を付けることでメモ化するが、下記のように、定義を直接実装したプログラムに @Memoized を付けると動的計画法になる。

オブジェクト指向プログラミング

オブジェクト指向プログラミング（オブジェクトしこうプログラミング、英: object-oriented programming, OOP）とは、「オブジェクト」という概念に基づいたプログラミングパラダイムの一つである。 OOPでは、相互に作用するオブジェクトを組み合わせてプログラムを設計する。

メタプログラミング

メタプログラミング (英語: metaprogramming) とはプログラミング技法の一種で、一般に「プログラムを記述するプログラム」を書くこと、またはそのプログラムを指す。対象言語に埋め込まれたマクロ言語によって行われることもある。 一般に、スクリプト言語はメタプログラミング

Zig (プログラミング言語)

Zigは、アンドリュー・ケリーによって設計された命令型の汎用の静的型付けのコンパイル型システムプログラミング言語である。 この言語は「堅牢性、最適性及び保守性」向けに設計されており、コンパイル時のジェネリクス、リフレクション、クロスコンパイル及び手動メモリ管理（英語版）をサポートしている。

ラベル (プログラミング)

れているものの、ジャンプ先として指定できるのは同じサブルーチン内に記述されたラベルのみであり、サブルーチンを飛び越える大域ジャンプはできなくなっている。なお、多重ループから一度に抜けるときや、サブルーチンを抜ける前の後始末処理を一か所でまとめて記述するときは、goto文を使ったほうが簡潔かつ低コストで書けることもある。

イベント (プログラミング)

イベントの発生を監視しながら待機するイベントループ（メッセージループ）にて、オペレーティングシステムから受け取ったイベント（メッセージ）オブジェクトを、あらかじめ登録されたコールバック関数にディスパッチ（配送）してイベントに応じたユーザー処理（イベントハンドラー）を実行し、再びイベント

エクストリーム・プログラミング

エクストリーム・プログラミング、XP（英: extreme programming）は、 ソフトウェア品質 を向上させ、変化する顧客の要求への対応力を高めることを目的としたソフトウェア開発プロセスである。アジャイルソフトウェア開発の一つとして、短い開発サイクルで頻繁に「リリー

フック (プログラミング)

におけるサブルーチンからの復帰命令）が書き込まれている。利用者はメモリ上の別の領域に独自の処理を配置し、フック用の5バイトには独自処理へのジャンプ命令を書き込む。 独自処理をプロシージャや関数として定義しておき、登録APIを使って登録する。現代の高級言語によるプログラミングでは、よく見られる実装形態である。